English translation for "universal quantifier in fopc"

全称量词 (一阶谓词演算)

Related Translations:

fopc:  一阶谓词演算

quantifier:  n.【逻辑学】限量词〔用 all, some 等语词以及前缀[词首]、符号等表示〕。

universal quantifiers:  概括性字眼

universal quantifier:  全称范域词全称量词

bounded quantifier:  有界量词

statement quantifier:  命题量词

quantifier elimination:  量词消去量消去

distributive quantifier:  分布数量词

unbounded quantifier:  无界量词

heterogeneous quantifier:  非纯一量词

Similar Words：

"universal pulverizer" English translation, "universal pump" English translation, "universal punching machine" English translation, "universal quantification" English translation, "universal quantifier" English translation, "universal quantifiers" English translation, "universal quick change chuck" English translation, "universal radar coverage" English translation, "universal radar signal proce or" English translation, "universal radar signal processor" English translation